A. SERNADAS: search on Z-Library

The world's largest scientific articles store. 70,000,000+ articles for free.

Don't use scam websites

1

Probabilistic Situation Calculus

Paulo Mateus, António Pacheco, Javier Pinto, Amílcar Sernadas, Cristina Sernadas

Journal:

Annals of Mathematics and Artificial Intelligence

Year:

2001

Language:

english

File:

PDF, 240 KB

english, 2001

2

Preservation of Craig interpolation by the product of matrix logics

Sernadas, C., Rasga, J., Sernadas, A.

Journal:

Journal of Applied Logic

Year:

2013

Language:

english

File:

PDF, 379 KB

english, 2013

3

Exponentially more concise quantum recognition of non-RMM regular languages

Qiu, Daowen, Li, Lvzhou, Mateus, Paulo, Sernadas, Amilcar

Journal:

Journal of Computer and System Sciences

Year:

2015

Language:

english

File:

PDF, 609 KB

english, 2015

4

NON-DETERMINISM AND UNCERTAINTY IN THE SITUATION CALCULUS

PINTO, JAVIER, SERNADAS, AMÍLCAR, SERNADAS, CRISTINA, MATEUS, PAULO

Journal:

International Journal of Uncertainty Fuzziness and Knowledge-Based Systems

Year:

2000

Language:

english

File:

PDF, 2.24 MB

english, 2000

5

Preservation by fibring of the finite model property

Coniglio, M. E., Sernadas, A., Sernadas, C.

Journal:

Journal of Logic and Computation

Year:

2011

Language:

english

File:

PDF, 289 KB

english, 2011

6

Interpolation via translations

João Rasga, Walter Carnielli, Cristina Sernadas

Journal:

Mathematical Logic Quarterly

Year:

2009

Language:

english

File:

PDF, 190 KB

english, 2009

7

Deriving Liveness Goals from Temporal Logic Specifications

C. CALEIRO, G. SAAKE, A. SERNADAS

Journal:

Journal of Symbolic Computation

Year:

1996

Language:

english

File:

PDF, 729 KB

english, 1996

8

Towards object-oriented conceptual modeling

Cristina Sernadas, José Fiadeiro

Journal:

Data & Knowledge Engineering

Year:

1991

Language:

english

File:

PDF, 1.85 MB

english, 1991

9

A temporal logic approach to object certification

Amílcar Sernadas, Cristina Sernadas, Jaime Ramos

Journal:

Data & Knowledge Engineering

Year:

1996

Language:

english

File:

PDF, 1.58 MB

english, 1996

10

Temporal aspects of logical procedure definition

Amilcar Sernadas

Journal:

Information Systems

Year:

1980

Language:

english

File:

PDF, 2.44 MB

english, 1980

11

Modular construction of logic knowledge bases: An algebraic approach

Cristina Sernadas, José Fiadeiro, Amílcar Sernadas

Journal:

Information Systems

Year:

1990

Language:

english

File:

PDF, 2.63 MB

english, 1990

12

Reasoning About Imperative Quantum Programs

R. Chadha, P. Mateus, A. Sernadas

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2006

Language:

english

File:

PDF, 336 KB

english, 2006

13

Reasoning about probabilistic sequential programs

R. Chadha, L. Cruz-Filipe, P. Mateus, A. Sernadas

Journal:

Theoretical Computer Science

Year:

2007

Language:

english

File:

PDF, 465 KB

english, 2007

14

A two-level temporal logic for evolving specifications

P.Y. Schobbens, G. Saake, A. Sernadas, C. Sernadas

Journal:

Information Processing Letters

Year:

2002

Language:

english

File:

PDF, 70 KB

english, 2002

15

Categorical foundations for randomly timed automata

P. Mateus, M. Morais, C. Nunes, A. Pacheco, A. Sernadas, C. Sernadas

Journal:

Theoretical Computer Science

Year:

2003

Language:

english

File:

PDF, 498 KB

english, 2003

16

Nonsequential Automata Semantics for a Concurrent, Object-Based Language

P. Blauth Menezes, A. Sernadas, J. Félix Costa

Journal:

Electronic Notes in Theoretical Computer Science

Year:

1998

Language:

english

File:

PDF, 1.68 MB

english, 1998

17

Precategories for Combining Probabilistic Automata

Paulo Mateus, Amílcar Sernadas, Cristina Sernadas

Journal:

Electronic Notes in Theoretical Computer Science

Year:

1999

Language:

english

File:

PDF, 802 KB

english, 1999

18

Specification and verification of database dynamics

José Fiadeiro, Amílcar Sernadas

Journal:

Acta Informatica

Year:

1988

Language:

english

File:

PDF, 2.02 MB

english, 1988

19

Object inheritance beyond subtyping

J. F. Costa, A. Sernadas, C. Sernadas

Journal:

Acta Informatica

Year:

1994

Language:

english

File:

PDF, 1.24 MB

english, 1994

20

Progress assumption in concurrent systems

J. F. Costa, A. Sernadas

Journal:

Formal Aspects of Computing

Year:

1995

Language:

english

File:

PDF, 1.26 MB

english, 1995

21

Branching versus linear logics yet again

José Carmo, Amílcar Sernadas

Journal:

Formal Aspects of Computing

Year:

1990

Language:

english

File:

PDF, 3.08 MB

english, 1990

22

Denotational semantics of object specification

Amílcar Sernadas, Cristina Sernadas, Carlos Caleiro

Journal:

Acta Informatica

Year:

1998

Language:

english

File:

PDF, 450 KB

english, 1998

23

On Combined Connectives

A. Sernadas, C. Sernadas, J. Rasga

Journal:

Logica Universalis

Year:

2011

Language:

english

File:

PDF, 349 KB

english, 2011

24

The INFOLOG linear tense propositional logic of events and transactions

José Fiadeiro, Amílcar Sernadas

Journal:

Information Systems

Year:

1986

Language:

english

File:

PDF, 2.52 MB

english, 1986

25

Formal techniques for systems specification and verification

José Carmo, Amílcar Sernadas

Journal:

Information Systems

Year:

1991

Language:

english

File:

PDF, 2.86 MB

english, 1991

26

Synchronization of Logics

Amílcar Sernadas, Cristina Sernadas, Carlos Caleiro

Journal:

Year:

1997

File:

PDF, 1.88 MB

1997

27

Fibring Logics, Dov M. Gabbay

Amílcar Sernadas

Journal:

Journal of Logic, Language and Information

Year:

2000

Language:

english

File:

PDF, 25 KB

english, 2000

28

Fibring Non-Truth-Functional Logics: Completeness Preservation

C. Caleiro, W.A. Carnielli, M.E. Coniglio, A. Sernadas, C. Sernadas

Journal:

Journal of Logic, Language and Information

Year:

2003

Language:

english

File:

PDF, 204 KB

english, 2003

29

Importing Logics

João Rasga, Amílcar Sernadas, Cristina Sernadas

Journal:

Year:

2012

Language:

english

File:

PDF, 403 KB

english, 2012

30

Towards knowledge-based infolog specifications A case study of information engineering

Helder Coelho, António Rodrigues, Amilcar Sernadas

Journal:

Decision Support Systems

Year:

1985

Language:

english

File:

PDF, 2.17 MB

english, 1985

31

Weakly complete axiomatization of exogenous quantum propositional logic

P. Mateus, A. Sernadas

Journal:

Information and Computation

Year:

2006

Language:

english

File:

PDF, 248 KB

english, 2006

32

Importing Logics: Soundness and Completeness Preservation

J. Rasga, A. Sernadas, C. Sernadas

Journal:

Year:

2013

Language:

english

File:

PDF, 727 KB

english, 2013

33

Craig Interpolation in the Presence of Unreliable Connectives

Rasga, João, Sernadas, Cristina, Sernadas, Amlcar

Journal:

Logica Universalis

Year:

2014

Language:

english

File:

PDF, 361 KB

english, 2014

34

Fibring: Completeness Preservation

Alberto Zanardo, Amilcar Sernadas and Cristina Sernadas

Journal:

Journal of Symbolic Logic

Year:

2001

Language:

english

File:

PDF, 521 KB

english, 2001

35

Modulated Fibring and the Collapsing Problem

Cristina Sernadas, João Rasga and Walter A. Carnielli

Journal:

Journal of Symbolic Logic

Year:

2002

Language:

english

File:

PDF, 3.17 MB

english, 2002

36

[IEEE 2007 First International Conference on Quantum, Nano, and Micro Technologies (ICQNM'07) - Guadeloupe, French Caribbean (2007.01.2-2007.01.6)] 2007 First International Conference on Quantum, Nano, and Micro Technologies (ICQNM'07) - Towards Model-Checking Quantum Security Protocols

Baltazar, P., Chadha, R., Mateus, P., Sernadas, A.

Year:

2007

Language:

english

File:

PDF, 5.16 MB

english, 2007

37

Completeness and interpolation of almost-everywhere quantification over finitely additive measures

Rasga, João, Lotfallah, Wafik Boulos, Sernadas, Cristina

Journal:

Mathematical Logic Quarterly

Year:

2013

Language:

english

File:

PDF, 230 KB

english, 2013

38

Truth-values as labels: a general recipe for labelled deduction

Sernadas, Cristina, Viganò, Luca, Rasga, João, Sernadas, Amílcar

Journal:

Journal of Applied Non-Classical Logics

Year:

2003

Language:

english

File:

PDF, 371 KB

english, 2003

39

Fibring as Biporting Subsumes Asymmetric Combinations

Rasga, J., Sernadas, A., Sernadas, C.

Journal:

Year:

2014

Language:

english

File:

PDF, 591 KB

english, 2014

40

Preservation of Interpolation Features by Fibring

Carnielli, W., Rasga, J., Sernadas, C.

Journal:

Journal of Logic and Computation

Year:

2007

Language:

english

File:

PDF, 277 KB

english, 2007

41

COMMUNICATING KNOWLEDGE SYSTEMS: Part I—Big Talk among Small Systems

SERNADAS, CRISTINA, COELHO, HELDER, GASPAR, GRAQA

Journal:

Applied Artificial Intelligence

Year:

1987

Language:

english

File:

PDF, 3.57 MB

english, 1987

42

COMMUNICATING KNOWLEDGE SYSTEMS: Part II—Big Talk among Small Systems

SERNADAS, CRISTINA, COELHO, HELDER, GASPAR, GRAÇA

Journal:

Applied Artificial Intelligence

Year:

1987

Language:

english

File:

PDF, 580 KB

english, 1987

43

The Role of Conceptual Modelling Abstractions in Compiler Development

Journal:

The Computer Journal

Year:

1987

File:

PDF, 5.42 MB

1987

44

Fibring of logics as a categorial construction

Journal:

Journal of Logic and Computation

Year:

1999

Language:

english

File:

PDF, 382 KB

english, 1999

45

Fibring Modal First-Order Logics: Completeness Preservation

Journal:

Logic Journal of IGPL

Year:

2002

Language:

english

File:

PDF, 492 KB

english, 2002

46

SYSTEMATICS: its syntax and semantics as a query language (2)

Journal:

The Computer Journal

Year:

1981

File:

PDF, 2.52 MB

1981

47

Object Specification Logic

SERNADAS, AMÍLCAR, SERNADAS, CRISTINA, COSTA, JOSE´ F´ELIX

Journal:

Journal of Logic and Computation

Year:

1995

Language:

english

File:

PDF, 1.29 MB

english, 1995

48

Heterogeneous Fibring of Deductive Systems Via Abstract Proof Systems

Cruz-Filipe, L., Sernadas, A., Sernadas, C.

Journal:

Logic Journal of IGPL

Year:

2007

Language:

english

File:

PDF, 337 KB

english, 2007

49

Reasoning About Objects Using a Tableau Method

LI, RENWEI, SERNADAS, AMÍLCAR

Journal:

Journal of Logic and Computation

Year:

1991

Language:

english

File:

PDF, 1.76 MB

english, 1991

50

Logics of Modal Terms for Systems Specification

FIADEIRO, JOSÈ, SERNADAS, AMÌLCAR

Journal:

Journal of Logic and Computation

Year:

1990

Language:

english

File:

PDF, 2.05 MB

english, 1990

To build up a library is to create a life. It’s never just a random collection of books.

— Carlos María Domínguez

Official channel

Z-Library Desktop Launcher

Z-Library Since 2009 support@z-lib.do

EnglishРусскийEspañolItalianoελληνικάاللغة العربيةBahasa IndonesiaBahasa Malaysiaहिन्दीDeutschFrançaisPortuguêsУкраїнськаPolski中文繁體中文日本語Tiếng ViệtAzərbaycan DiliՀայոց լեզուภาษาไทยTürk Diliქართველიবাংলাپښتوతెలుగుاردو한국어SrpskiБългарски